Design-time formal verification for smart environments: an exploratory perspective

Smart environments (SmE) are richly integrated with multiple heterogeneous devices; they perform the operations in intelligent manner by considering the context and actions/behaviors of the users. Their major objective is to enable the environment to provide ease and comfort to the users. The reliance on these systems demands consistent behavior. The versatility of devices, user behavior and intricacy of communication complicate the modeling and verification of SmE's reliable behavior. Of the many available modeling and verification techniques, formal methods appear to be the most promising. Due to a large variety of implementation scenarios and support for conditional behavior/processing, the concept of SmE is applicable to diverse areas which calls for focused research. As a result, a number of modeling and verification techniques have been made available for designers. This paper explores and puts into perspective the modeling and verification techniques based on an extended literature survey. These techniques mainly focus on some specific aspects, with a few overlapping scenarios (such as user interaction, devices interaction and control, context awareness, etc.), which were of the interest to the researchers based on their specialized competencies. The techniques are categorized on the basis of various factors and formalisms considered for the modeling and verification and later analyzed. The results show that no surveyed technique maintains a holistic perspective; each technique is used for the modeling and verification of specific SmE aspects. The results further help the designers select appropriate modeling and verification techniques under given requirements and stress for more R&D effort into SmE modeling and verification researc

Whole body vibration compared to conventional physiotherapy in patients with gonarthrosis: a protocol for a randomized, controlled study

<p>Abstract</p> <p>Background</p> <p>Osteoarthritis (OA) is the most common degenerative arthropathy. Load-bearing joints such as knee and hip are more often affected than spine or hands. The prevalence of gonarthrosis is generally higher than that of coxarthrosis.</p> <p>Because no cure for OA exists, the main emphasis of therapy is analgesic treatment through either mobility or medication. Non-pharmacologic treatment is the first step, followed by the addition of analgesic medication, and ultimately by surgery.</p> <p>The goal of non-pharmacologic and non-invasive therapy is to improve neuromuscular function, which in turn both prevents formation of and delays progression of OA. A modification of conventional physiotherapy, whole body vibration has been successfully employed for several years. Since its introduction, this therapy is in wide use at our facility not only for gonarthrosis, but also coxarthrosis and other diseases leading to muscular imbalance.</p> <p>Methods/Design</p> <p>This study is a randomized, therapy-controlled trial in a primary care setting at a university hospital. Patients presenting to our outpatient clinic with initial symptoms of gonarthrosis will be assessed against inclusion and exclusion criteria. After patient consent, 6 weeks of treatment will ensue. During the six weeks of treatment, patients will receive one of two treatments, conventional physiotherapy or whole-body-vibration exercises of one hour three times a week. Follow-up examinations will be performed immediately after treatment and after another 6 and 20 weeks, for a total study duration of 6 months. 20 patients will be included in each therapy group.</p> <p>Outcome measurements will include objective analysis of motion and ambulation as well as examinations of balance and isokinetic force. The Western Ontario and McMaster Universities Arthritis Index and SF-12 scores, the patients' overall status, and clinical examinations of the affected joint will be carried out.</p> <p>Discussion</p> <p>As new physiotherapy techniques develop for the treatment of OA, it is important to investigate the effectiveness of competing strategies. With this study, not only patient-based scores, but also objective assessments will be used to quantify patient-derived benefits of therapy.</p> <p>Trial registration</p> <p>Deutsches Register Klinischer Studien (DRKS) DRKS00000415</p> <p>Clinicaltrials.gov NCT01037972</p> <p>EudraCT 2009-017617-29</p

Negative regulation of Toll-like receptor 4 signaling by IL-10-dependent microRNA-146b

Toll-like receptors (TLRs) play key roles in detecting pathogens and initiating inflammatory responses that, subsequently, prime specific adaptive responses. Several mechanisms control TLR activity to avoid excessive inflammation and consequent immunopathology, including the anti-inflammatory cytokine IL-10. Recently, several TLR-responsive microRNAs (miRs) have also been proposed as potential regulators of this signaling pathway, but their functional role during the inflammatory response still is incompletely understood. In this study, we report that, after LPS engagement, monocytes up-regulate miR- 146b via an IL-10-mediated STAT3-dependent loop. We show evidence thatmiR-146b modulates the TLR4 signaling pathway by direct targeting of multiple elements, including the LPS receptor TLR4 and the key adaptor/signaling proteinsmyeloid differentiation primary response (MyD88), interleukin-1 receptor-associated kinase 1 (IRAK-1), and TNF receptor-associated factor 6 (TRAF6). Furthermore, we demonstrate that the enforced expression of miR-146b in human monocytes led to a significant reduction in the LPS-dependent production of several proinflammatory cytokines and chemokines, including IL-6, TNF-\u3b1, IL-8, CCL3, CCL2, CCL7, and CXCL10. Our results thus identify miR-146b as an IL-10-responsive miR with an anti-inflammatory activity based on multiple targeting of components of the TLR4 pathway in monocytes and candidate miR-146b as a molecular effector of the IL-10 anti-inflammatory activity

Autocrine Regulation of Pulmonary Inflammation by Effector T-Cell Derived IL-10 during Infection with Respiratory Syncytial Virus

Respiratory syncytial virus (RSV) infection is the leading viral cause of severe lower respiratory tract illness in young infants. Clinical studies have documented that certain polymorphisms in the gene encoding the regulatory cytokine IL-10 are associated with the development of severe bronchiolitis in RSV infected infants. Here, we examined the role of IL-10 in a murine model of primary RSV infection and found that high levels of IL-10 are produced in the respiratory tract by anti-viral effector T cells at the onset of the adaptive immune response. We demonstrated that the function of the effector T cell -derived IL-10 in vivo is to limit the excess pulmonary inflammation and thereby to maintain critical lung function. We further identify a novel mechanism by which effector T cell-derived IL-10 controls excess inflammation by feedback inhibition through engagement of the IL-10 receptor on the antiviral effector T cells. Our findings suggest a potentially critical role of effector T cell-derived IL-10 in controlling disease severity in clinical RSV infection

CARI'96 : actes du 3ème colloque africain sur la recherche en informatique = CARI'96 : proceedings of the 3rd African conference on research in computer science

Parallel simulators appear today as the best way to vulgarize parallel programming environments. They are also useful for parallel programming training as well as development of application programs. We have implemented a parallel simulator for PRAM model. The particularity of our parallel simulator is that it is an implementation of a denotational semantics of PRAM model. (Résumé d'auteur

Effets des innovations managériales sur la compétitivité agricole: cas des Organisations Paysannes (OP) de la filière maïs (Zea mays L.) financées par le Projet d'Amélioration de la Compétitivité Agricole (PACA) dans la région de l'ouest, Cameroun

Effects of managerial innovations on agricultural competitiveness: the case of Producer Organizations (POs) of the maize sector (Zea mays L.) funded by the Agricultural Competitiveness Improvement Project (ACAP) in the Western Region, Cameroon. This paper focuses on the effects of the Agricultural Competitiveness Improvement Project (ACAP) managerial innovations on the competitiveness of Producer Organizations (POs) of the Zea Mays value chain in the Western Region of Cameroon. Questionnaires were administered to 39 producer organizations and project documentation was consulted as well as research was carried out on the internet. We used descriptive statistics and significance tests for the data analysis. It appears from the analysis that the managerial innovations initiated by the ACAP relatively contributed to improving the competitiveness of producers. First, the forums gave the OPs easier access to some resources (chemical fertilizers, organic fertilizers, equipment and tools) in respect of contract awarding standards and on credit. The input supply contracts also contributed to an about 50% increase in maize yields per hectare compared to baseline situation. Finally, sales contracts facilitated a fluid access of the producers to the downstream market and these benefited from increased prices by about 19% compared to baseline situation